1. Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Author: Helene Kirchner, Christophe Ringeissen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
2422
2. Frontiers of combining systems : third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings
Author: Helene Kirchner, Christophe Ringeissen, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
1794
